Commentary: Push–button analyses
نویسنده
چکیده
منابع مشابه
TROvE: a Graphical Tool to Evaluate OWL Reasoners
In this paper we present TROvE (Tool for Rapid OWL Reasoner Evaluation), a tool aimed to offer to a non-expert user the possibility to evaluate OWL reasoners on several reasoning tasks by means of a simple “push-button” solution.
متن کاملFRaQuE: A Framework for Rapid Query Processing Evaluation
In this paper we present FRaQuE (Framework for Rapid Query Processing Evaluation). The main purpose of FRaQuE is to offer to a non-expert user a “push-button” solution aimed to help her to evaluate query processors for Ontology Based Data Access, focusing only on input and output data, without take into account both theoretical and technical issues.
متن کاملEffects of biofeedback on secondary-task response time and postural stability in older adults.
Real-time single- and multiple-axis vibrotactile feedback of trunk motion has been shown to significantly decrease mean trunk tilt and decrease time spent outside a no vibrotactile feedback zone (dead zone) in older adults within a laboratory setting. This study aimed to determine if these improvements can translate into everyday use, during which other tasks may simultaneously demand attention...
متن کاملOn Interpreting Results of Model-Checking with Abstraction
Model-checking offers a potential for push-button verification. Abstraction is often used to combat the state-space explosion problem and focus the analysis on relevant properties. However, in many such cases, it is difficult to interpret the results of verification on an abstract system with respect to a concrete one. In this paper we present an abstract model-checking approach that guarantees...
متن کاملAzureML: Anatomy of a machine learning service
In this paper, we describe AzureML, a web service that provides a model authoring environment where data scientists can create machine learning models and publish them easily (http://www.azure.com/ml). In addition, AzureML provides several distinguishing features. These include: (a) collaboration, (b) versioning, (c) visual workflows, (d) external language support, (e) push-button operationaliz...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- The Journal of Automatic Chemistry
دوره 2 شماره
صفحات -
تاریخ انتشار 1980